Dines Bjørner: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Don't use scam websites

Книги
Статті (74)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Software engineering education: Rôles of formal specification and design calculi

Dines Bjørner, Jorge R. Cuéllar

Журнал:

Annals of Software Engineering

Рік:

1998

Мова:

english

Файл:

PDF, 258 KB

english, 1998

2

Pinnacles of software engineering: 25 years of formal methods

Журнал:

Annals of Software Engineering

Рік:

2000

Мова:

english

Файл:

PDF, 358 KB

english, 2000

3

To every manifest domain a CSP expression – a rôle for mereology in computer science

Bjørner, Dines

Журнал:

Journal of Logical and Algebraic Methods in Programming

Рік:

2018

Мова:

english

Файл:

PDF, 650 KB

english, 2018

4

[Monographs in Theoretical Computer Science] Logics of Specification Languages || The Specification Language TLA+

Bjørner, Dines, Henson, Martin C.

Рік:

2008

Мова:

english

Файл:

PDF, 574 KB

english, 2008

5

Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS

Dines Bjørner, Anne Elisabeth Haxthausen, Klaus Havelund

Журнал:

Future Generation Computer Systems

Рік:

1992

Мова:

english

Файл:

PDF, 2.14 MB

english, 1992

6

John Warner Backus: 3 Dec 1924–17 March 2007

Журнал:

Formal Aspects of Computing

Рік:

2008

Мова:

english

Файл:

PDF, 117 KB

english, 2008

7

Flowchart machines

Журнал:

BIT Numerical Mathematics

Рік:

1970

Мова:

english

Файл:

PDF, 1.65 MB

english, 1970

8

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 1181 || Algebraic semantics of the Oberon target machine

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Рік:

1996

Мова:

english

Файл:

PDF, 713 KB

english, 1996

9

[Lecture Notes in Computer Science] The Vienna Development Method: The Meta-Language Volume 61 || On the formalization of programming languages: Early history and main approaches

Bjørner, Dines, Jones, Cliff B.

Рік:

1978

Мова:

english

Файл:

PDF, 1.33 MB

english, 1978

10

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 ||

Bjørner, Dines, Broy, Manfred, Zamulin, Alexandre V.

Рік:

2001

Мова:

english

Файл:

PDF, 5.24 MB

english, 2001

11

[Monographs in Theoretical Computer Science] Logics of Specification Languages || Z Logic and Its Applications

Bjørner, Dines, Henson, Martin C.

Рік:

2008

Мова:

english

Файл:

PDF, 1.25 MB

english, 2008

12

Manifest domains: analysis and description

Bjørner, Dines

Журнал:

Formal Aspects of Computing

Рік:

2017

Мова:

english

Файл:

PDF, 1.04 MB

english, 2017

13

Formal Software Techniques for Railway Systems

Bjørner, Dines

Журнал:

IFAC Proceedings Volumes

Рік:

2000

Мова:

english

Файл:

PDF, 1.89 MB

english, 2000

14

Dynamics of Railway Nets

Bjørner, Dines

Журнал:

IFAC Proceedings Volumes

Рік:

2003

Мова:

english

Файл:

PDF, 613 KB

english, 2003

15

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Efficient chaotic iteration strategies with widenings

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Рік:

1993

Мова:

english

Файл:

PDF, 762 KB

english, 1993

16

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Predicative programming — A survey

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Рік:

1993

Мова:

english

Файл:

PDF, 946 KB

english, 1993

17

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Complexity of probabilistic versus deterministic automata

Bārzdinš, Janis, Bjørner, Dines

Рік:

1991

Мова:

english

Файл:

PDF, 2.24 MB

english, 1991

18

Preface

Журнал:

Theoretical Computer Science

Рік:

1991

Мова:

english

Файл:

PDF, 66 KB

english, 1991

19

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Algebraic calculation of graph and sorting algorithms

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Рік:

1993

Мова:

english

Файл:

PDF, 803 KB

english, 1993

20

A flow-mode, self-steering, cellular multiplier-summation processor

Журнал:

BIT Numerical Mathematics

Рік:

1970

Мова:

english

Файл:

PDF, 1.14 MB

english, 1970

21

Facets of software development

Журнал:

Journal of Computer Science and Technology

Рік:

1989

Мова:

english

Файл:

PDF, 566 KB

english, 1989

22

Preface for the special issue

Журнал:

New Generation Computing

Рік:

1988

Мова:

english

Файл:

PDF, 104 KB

english, 1988

23

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || A Systematic Approach towards Object-Based Petri Net Formalisms

Bjørner, Dines, Broy, Manfred, Zamulin, Alexandre V.

Рік:

2001

Мова:

english

Файл:

PDF, 179 KB

english, 2001

24

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || On the smooth calculation of relational recursive expressions out of first-order non-constructive specifications involving quantifiers

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Рік:

1993

Мова:

english

Файл:

PDF, 1.06 MB

english, 1993

25

[Monographs in Theoretical Computer Science] Logics of Specification Languages || The event-B Modelling Method: Concepts and Case Studies

Bjørner, Dines, Henson, Martin C.

Рік:

2008

Мова:

english

Файл:

PDF, 914 KB

english, 2008

26

[Monographs in Theoretical Computer Science] Logics of Specification Languages ||

Bjørner, Dines, Henson, Martin C.

Рік:

2008

Мова:

english

Файл:

PDF, 5.08 MB

english, 2008

27

[IEEE 2012 19th Asia-Pacific Software Engineering Conference (APSEC) - Hong Kong, China (2012.12.4-2012.12.7)] 2012 19th Asia-Pacific Software Engineering Conference - A survey of domain engineering

Рік:

2012

Мова:

english

Файл:

PDF, 87 KB

english, 2012

28

[IEEE 11th Annual Symposium on Switching and Automata Theory (swat 1970) - USA (1970.10.28-1970.10.30)] 11th Annual Symposium on Switching and Automata Theory (swat 1970) - The synthesis of finite state syntax directed top-down and bottom-up transducers

Рік:

1970

Мова:

english

Файл:

PDF, 1.08 MB

english, 1970

29

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || Equivalent Transformation by Safe Extension of Data Structures

Bjørner, Dines, Broy, Manfred, Zamulin, Alexandre V.

Рік:

2001

Мова:

english

Файл:

PDF, 277 KB

english, 2001

30

[IEEE 2008 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) - Doha, Qatar (2008.03.31-2008.04.4)] 2008 IEEE/ACS International Conference on Computer Systems and Applications - Formal digital license language with OTS/CafeOBJ method

Jianwen Xiang,, Dines Bjorner,, Kokichi Futatsugi,

Рік:

2008

Мова:

english

Файл:

PDF, 337 KB

english, 2008

31

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || Integrating and Managing Conflicting Data

Bjørner, Dines, Broy, Manfred, Zamulin, Alexandre V.

Рік:

2001

Мова:

english

Файл:

PDF, 195 KB

english, 2001

32

[IEEE 2007 International Conference on Wireless Communications, Networking and Mobile Computing - Shanghai, China (2007.09.21-2007.09.25)] 2007 International Conference on Wireless Communications, Networking and Mobile Computing - A License Language Design and Analysis for E-Government

Chen, Xiaoyi, Xiang, Jianwen, Bjorner, Dines, Futatsugi, Kokichi

Рік:

2007

Мова:

english

Файл:

PDF, 172 KB

english, 2007

33

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || Unfoldings of Coloured Petri Nets

Bjørner, Dines, Broy, Manfred, Zamulin, Alexandre V.

Рік:

2001

Мова:

english

Файл:

PDF, 199 KB

english, 2001

34

[ACM Press the November 17-19, 1970, fall joint computer conference - Houston, Texas (1970.11.17-1970.11.19)] Proceedings of the November 17-19, 1970, fall joint computer conference on - AFIPS '70 (Fall) - Finite state automation

Bjørner, Dines

Рік:

1970

Мова:

english

Файл:

PDF, 1.38 MB

english, 1970

35

[ACM Press the 14th international conference - Melbourne, Australia (1992.05.11-1992.05.15)] Proceedings of the 14th international conference on Software engineering - ICSE '92 - Trusted computing systems

Bjørner, Dines

Рік:

1992

Мова:

english

Файл:

PDF, 2.07 MB

english, 1992

36

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Observing some properties of event structures

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Рік:

1993

Мова:

english

Файл:

PDF, 535 KB

english, 1993

37

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Logic program testing based on abstract interpretation

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Рік:

1993

Мова:

english

Файл:

PDF, 586 KB

english, 1993

38

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Algebraic modelling of imperative languages with pointers

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Рік:

1993

Мова:

english

Файл:

PDF, 904 KB

english, 1993

39

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Formal derivation of an error-detecting distributed data scheduler using Changeling

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Рік:

1993

Мова:

english

Файл:

PDF, 842 KB

english, 1993

40

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || REAL92: A combined specification language for real-time concurrent systems and properties

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Рік:

1993

Мова:

english

Файл:

PDF, 765 KB

english, 1993

41

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive inference of recursive functions: Qualitative theory

Bārzdinš, Janis, Bjørner, Dines

Рік:

1991

Мова:

english

Файл:

PDF, 1.96 MB

english, 1991

42

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Toward knowledge-based specifications of languages

Bārzdinš, Janis, Bjørner, Dines

Рік:

1991

Мова:

english

Файл:

PDF, 607 KB

english, 1991

43

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || The programming system PRIZ

Bārzdinš, Janis, Bjørner, Dines

Рік:

1991

Мова:

english

Файл:

PDF, 968 KB

english, 1991

44

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive synthesis of dot expressions

Bārzdinš, Janis, Bjørner, Dines

Рік:

1991

Мова:

english

Файл:

PDF, 2.82 MB

english, 1991

45

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive inference of recursive functions: Complexity bounds

Bārzdinš, Janis, Bjørner, Dines

Рік:

1991

Мова:

english

Файл:

PDF, 2.15 MB

english, 1991

46

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Type-theoretical semantics of some declarative languages

Bārzdinš, Janis, Bjørner, Dines

Рік:

1991

Мова:

english

Файл:

PDF, 561 KB

english, 1991

47

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Using resolution for deciding solvable classes and building finite models

Bārzdinš, Janis, Bjørner, Dines

Рік:

1991

Мова:

english

Файл:

PDF, 1.58 MB

english, 1991

48

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Automatical synthesis of programs with recursions

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Рік:

1993

Мова:

english

Файл:

PDF, 394 KB

english, 1993

49

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Parsing in Isbes

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Рік:

1993

Мова:

english

Файл:

PDF, 528 KB

english, 1993

50

On a formal model of the tasking concept in Ada

Løvengreen, Hans Henrik, Bjørner, Dines

Журнал:

ACM SIGPLAN Notices

Рік:

1980

Мова:

english

Файл:

PDF, 1.01 MB

english, 1980